|
Cauchy's functional equation is the functional equation : Solutions to this are called additive functions. Over the rational numbers, it can be shown using elementary algebra that there is a single family of solutions, namely for any arbitrary rational number . Over the real numbers, this is still a family of solutions; however there can exist other solutions that are extremely complicated. Further constraints on ''f'' sometimes preclude other solutions, for example: * if is continuous (proven by Cauchy in 1821). This condition was weakened in 1875 by Darboux who showed that it was only necessary for the function to be continuous at one point. * if is monotonic on any interval. * if is bounded on any interval. On the other hand, if no further conditions are imposed on , then (assuming the axiom of choice) there are infinitely many other functions that satisfy the equation. This was proved in 1905 by Georg Hamel using Hamel bases. Such functions are sometimes called ''Hamel functions''.〔Kuczma (2009), p.130〕 The fifth problem on Hilbert's list is a generalisation of this equation. Functions where there exists a real number such that are known as Cauchy-Hamel functions and are used in Dehn-Hadwiger invariants which are used in the extension of Hilbert's third problem from 3-D to higher dimensions.〔V.G. Boltianskii (1978) "Hilbert's third problem", Halsted Press, Washington〕 == Proof of solution over rationals == We wish to prove that any solution to Cauchy's functional equation, , takes the form . Case 1: q=0 Set . :. Case 2: q>0 By repeated application of Cauchy's equation to : : Replacing by , and multiplying by : : By the first equation: : : :. Case 3: q<0 Set . :. Combining this with the result from case 2: : : Replacing -q with q: : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Cauchy's functional equation」の詳細全文を読む スポンサード リンク
|